In the first post World War II identity theories (e.g., Place 1956, Smart 1962), mind brain identities were held to be contingent. However, in work beginning in the late 1960's, Saul Kripke (1971, 1980) convinced the philosophical community that true identity statements involving names and natural kind terms are necessarily true and furthermore, that many such necessary identities can only be known a posteriori. Kripke also offered an explanation of the a posteriori nature of ordinary theoretical identities such as that (...) water = H2O. We identify the kinds and substances involved in theoretical identities by certain of their contingent properties. What we discover when we discover a theoretical identity is the underlying nature of the kind that we identify by those contingent properties. Now, of course, it was being a posteriori, not being contingent, that mattered to the identity theorists anyway, so the necessity of identity is not, in itself, damaging to mind brain identity theories. However, Kripke also argued persuasively that the alleged mind brain identities could not be treated in the same way as ordinary theoretical identities. We "identify" pain by feeling it, and surely how it feels is an essential property of pain, not a contingent property. Thus, a mind body identity theory must provide a different explanation of why its identities are a posteriori. A new wave of materialists has appeared on the scene with a new strategy for explaining [1] the a posteriori nature of its alleged identities. The strategy is to locate the explanation for the a posteriori nature of mind body identities, not on the side of the world, but on the side of the mind -in different ways of thinking about or imagining, or in different concepts. Thus, on this new view, there is only one property—this brain process type, which is identical with this pain.. (shrink)

A productive way to think about imagistic mental models of physical systems is as though they were sources of quasi‐empirical evidence. People depict or imagine events at those points in time when they would experiment with the world if possible. Moreover, just as they would do when observing the world, people induce patterns of behavior from the results depicted in their imaginations. These resulting patterns of behavior can then be cast into symbolic rules to simplify thinking about future problems and (...) to reveal higher order relationships. Using simple gear problems, three experiments explored the occasions of use for, and the inductive transitions between, depictive models and number‐based rules. The first two experiments used the convergent evidence of problem‐solving latencies, hand motions, referential language and error data to document the initial use of a model, the induction of rules from the modeling results, and the fallback to a model when a rule fails. The third experiment explored the intermediate representations that facilitate the induction of rules from depictive models. The strengths and weaknesses of depictive modeling and more analytic systems of reasoning are delineated to motivate the reasons for these transitions. (shrink)

Human beings think of themselves in terms of a privileged non-descriptive designator — a mental “I”. Such thoughts are called “de se” thoughts. The mind/body problem is the problem of deciding what kind of thing I am, and it can be regarded as arising from the fact that we think of ourselves non-descriptively. Why do we think of ourselves in this way? We investigate the functional role of “I” (and also “here” and “now”) in cognition, arguing that the use of (...) such non-descriptive “reflexive” designators is essential for making sophisticated cognition work in a general-purpose cognitive agent. If we were to build a robot capable of similar cognitive tasks as humans, it would have to be equipped with such designators. Once we understand the functional role of reflexive designators in cognition, we will see that to make cognition work properly, an agent must use a de se designator in specific ways in its reasoning. Rather simple arguments based upon how “I” works in reasoning lead to the conclusion that it cannot designate the body or part of the body. If it designates anything, it must be something non-physical. However, for the purpose of making the reasoning work correctly, it makes no difference whether “I” actually designates anything. If we were to build a robot that more or less duplicated human cognition, we would not have to equip it with anything for “I” to designate, and general physicalist inclinations suggest that there would be nothing for “I” to designate in the robot. In particular, it cannot designate the physical contraption. So the robot would believe “I exist”, but it would be wrong. Why should we think we are any different? (shrink)

Examples growing out of the Newcomb problem have convinced many people that decision theory should proceed in terms of some kind of causal probability. I endorse this view and define and investigate a variety of causal probability. My definition is related to Skyrms' definition, but proceeds in terms of objective probabilities rather than subjective probabilities and avoids taking causal dependence as a primitive concept.

? The author wishes to acknowledge the help he has received from Mr R. S. Easterby of the Applied Psychology Department, University of Aston in Birmingham, in completing this research.

This book consists of thirteen chapters that address the ethical issues raised by technological intervention and design across a broad range of biological and ecological systems. Among the technologies addressed are geoengineering, human enhancement, sex selection, genetic modification, and synthetic biology.

Discusses the ethical, moral, legal, and philosophical aspects of controversial medical issues, such as abortion, euthanasia, genetic engineering, and determination of death.

Princeton University Press, 1974. This book is out of print, but can be downloaded as a pdf file (5 MB).

"A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial ...

Pollock argues that theories of ideal rationality are largely irrelevant to the decision making of real agents. Thinking about Acting aims to provide a theory of "real rationality.".

Imagine yourself sitting on your front porch, sipping your morning coffee and admiring the scene before you. You see trees, houses, people, automobiles; you see a cat running across the road, and a bee buzzing among the flowers. You see that the flowers are yellow, and blowing in the wind. You see that the people are moving about, many of them on bicycles. You see that the houses are painted different colors, mostly earth tones, and most are one-story but a (...) few are two-story. It is a beautiful morning. Thus the world interfaces with your mind through your senses. There is a strong intuition that we are not disconnected from the world. We and the other things we see around us are part of a continuous whole, and we have direct access to them through vision, touch, etc. However, the philosophical tradition tries to drive a wedge between us and the world by insisting that the information we get from perception is the result of inference from indirect evidence that is about how things look and feel to us. The philosophical problem of perception is then to explain what justifies these inferences. We will focus on visual perception. Figure one presents a crude diagram of the cognitive system of an agent capable of forming beliefs on the basis of visual perception. Cognition begins with the stimulation of the rods and cones on the retina. From that physical input, some kind of visual processing produces an introspectible visual image. In response to the production of the visual image, the cognizer forms beliefs about his or her surroundings. Some beliefs the perceptual beliefs are formed as direct responses to the visual input, and other beliefs are inferred from the perceptual beliefs. The perceptual beliefs are, at the very least, caused or causally influenced by having the image. This is signified by the dashed arrow marked with a large question mark. We will refer to this as the mystery link. Figure one makes it apparent that in order to fully understand how knowledge is based on perception, we need three different theories.. (shrink)

An argument is self-defeating when it contains defeaters for some of its own defeasible lines. It is shown that the obvious rules for defeat among arguments do not handle self-defeating arguments correctly. It turns out that they constitute a pervasive phenomenon that threatens to cripple defeasible reasoning, leading to almost all defeasible reasoning being defeated by unexpected interactions with self-defeating arguments. This leads to some important changes in the general theory of defeasible reasoning.

The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid's axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4). The fulsomeness of this description might lead those unfamiliar with the axiom to expect it to be as startling as, say, the Principle of the Constancy of (...) the Velocity of Light or the Heisenberg Uncertainty Principle. But in fact the Axiom of Choice as it is usually stated appears humdrum, even self-evident. For it amounts to nothing more than the claim that, given any collection of mutually disjoint nonempty sets, it is possible to assemble a new set — a transversal or choice set — containing exactly one element from each member of the given collection. Nevertheless, this seemingly innocuous principle has far-reaching mathematical consequences — many indispensable, some startling — and has come to figure prominently in discussions on the foundations of mathematics. It (or its equivalents) have been employed in countless mathematical papers, and a number of monographs have been exclusively devoted to it. (shrink)

In this essay, I reply to the comments of Joanna Leidenhag and Nick Trakakis on my book Religion After Science: The Cultural Consequences of Religious Immaturity.

This exceptionally successful survey text introduces the teachings and practice of Islam from its earliest origins up to its contemporary practice. John L. Esposito, an internationally renowned expert on Islam, traces the development of Islam and its impact on world history and politics.Lucidly written and expansive in scope, Islam: The Straight Path, Updated Fifth Edition, provides keen insight into one of the world's least understood religions. It is ideally suited for use in courses on Islam, world religions, comparative religions, (...) and Middle East history and culture.A FREE 6-month subscription to Oxford Islamic Studies Online, edited by John L. Esposito, is included with the purchase of every new copy of this text. (shrink)

This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.

Thirty years ago, the Arab Oil Embargo caused us to stop taking gasoline for granted and caused the author to start teaching students about the importance of energy in our lives. This retrospective shows the same general patterns discerned from a 20-year retrospective a decade ago: a sharp decrease in energy use following each of the two energy crises of the 1970s and a decline in the rate at which energy use increased in the years following. Yet the United States (...) has made little progress to wean itself from its fossil fuels energy diet, and there is little expectation that this will change in the next 50 years. (shrink)

Counterexamples are constructed for classical decision theory, turning on the fact that actions must often be chosen in groups rather than individually, i.e., the objects of rational choice are plans. It is argued that there is no way to define optimality for plans that makes the finding of optimal plans the desideratum of rational decision-making. An alternative called “locally global planning” is proposed as a replacement for classical decision theory. Decision-making becomes a non-terminating process without a precise target rather than (...) a terminating search for an optimal solution. (shrink)